English to Logical Expression